$\forall$$k$:$\mathbb{N}$, $P$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$$\rightarrow\mathbb{B}$). search($k$;$P$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$k$+1}}$